1. Hybrid systems III : verification and control
پدیدآورنده : Rajeev Alur ... ]et al.[, )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Hybrid computers,Congresses ، Digital control systems
رده :
QA
76
.
L28
Vol
.
1066